Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

Source URL: www.cs.rhul.ac.uk

Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume

Source URL: www.cs.rhul.ac.uk

An Evaluation of Sequential Model-Based Optimization for Expensive Blackbox Functions Frank Hutter Holger Hoos

Source URL: www.cs.ubc.ca

Timed-Elastic-Bands for Time-Optimal Point-To-Point Nonlinear Model Predictive Control

Source URL: www.rst.e-technik.tu-dortmund.de

• Mathematical optimization
• Control theory
• Systems science
• Academia
• Cybernetics
• Systems theory
• Operations research
• Model predictive control
• Dynamic programming
• Optimal control
• Trajectory optimization
• Sequential quadratic programming

L8: Memory Models CSE 452 Winter 2016 “There are only two hard things in computer science: cache invalidation and naming things.”
 - Phil Karlton

Source URL: courses.cs.washington.edu

• Computing
• Computer architecture
• Transaction processing
• Concurrency control
• Consistency model
• Cache coherency
• Sequential consistency
• Linearizability
• Cache
• Eventual consistency
• Sync
• Weak consistency

HSA MEMORY MODEL HOT CHIPS TUTORIAL - AUGUST 2013 BENEDICT R GASTER WWW.QUALCOMM.COM OUTLINE

Source URL: www.hotchips.org

• Computing
• Software engineering
• Computer architecture
• Parallel computing
• Computer memory
• GPGPU
• Compiler construction
• Programming language design
• Consistency model
• Sequential consistency
• HSA Foundation
• Memory model

Design of Parallel and High-Performance Computing Fall 2014 Lecture: Memory Models Motivational video: https://www.youtube.com/watch?v=tW2hT0g4OUs

Source URL: spcl.inf.ethz.ch

• Computing
• Concurrent computing
• Computer architecture
• Cache coherency
• Parallel computing
• Transaction processing
• Computer memory
• Cache coherence
• MESI protocol
• Sequential consistency
• Consistency model
• Cache

Design of Parallel and High-Performance Computing Fall 2013 Lecture: Memory Models Instructor: Torsten Hoefler & Markus Püschel

Source URL: spcl.inf.ethz.ch

• Computing
• Concurrent computing
• Computer architecture
• Parallel computing
• Transaction processing
• Cache coherency
• Cache coherence
• Consistency model
• Sequential consistency
• Xeon
• Computer memory
• Linearizability

Effective Robot Teammate Behaviors for Supporting Sequential Manipulation Tasks Bradley Hayes1 and Brian Scassellati1 Abstract— In this work, we present an algorithm for improving collaborator performance on sequential

Source URL: bradhayes.info

• Robotics
• Multi-agent systems
• Systems science
• Artificial intelligence
• Robot
• Humanrobot interaction
• Motion planning
• Agent-based model
• Cognitive science

Optimal Sequential Delegation∗ Daniel Kr¨ahmer a,† Eugen Kov´aˇc a,b March 3, 2016

Source URL: www.wiwi.uni-bonn.de

• Mathematics
• Set theory
• Ordinal numbers
• Philosophy of mathematics
• Code
• Inner model theory
• First uncountable ordinal
• Logic